Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
821	Preprints of the Federated Conference on Computer Science and Information Systems pp. 1559–1568 Synthesised Constraint Models for Distributed Energy Management Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang R Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Software engineering Computer programming Applied mathematics Constraint satisfaction Linear programming Economic model Multi-objective optimization Constraint inference Constraint programming Operations research Mathematical optimization
822	Noname manuscript No. (will be inserted by the editor) Improved Constraint Consensus Methods for Seeking Feasibility in Nonlinear Programs Laurence Smith · John Chinneck · Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2012-02-27 14:04:21 Mathematical optimization Convex optimization Linear programming Interior point method Constraint Vector Euclidean vector Mathematics Algebra Operations research
823	OCL Quick Reference Summary Add to Reading List Source URL: www.artechra.com Language: English - Date: 2011-02-04 17:57:59 Formal languages Parsing Control flow Expr Object Constraint Language Attribute grammar Foreach loop Iterator Objective-C Computing Software engineering Computer programming
824	To appear in Mathematical Programming[removed]The original article is available at http://www.springerlink.com Active-Constraint Variable Ordering for Faster Feasibility of Mixed Integer Linear Programs Jagat Patel Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2006-06-28 11:21:37 Applied mathematics Combinatorial optimization Constraint programming Linear programming relaxation Linear programming Relaxation Branch and bound Backtracking Candidate solution Operations research Mathematical optimization Mathematics
825	Fast Heuristics for the Maximum Feasible Subsystem Problem John W. Chinneck Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa, Ontario K1S 5B6, Canada Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2004-12-16 14:43:42 Operations research Constraint programming Convex optimization Linear programming Constraint Algorithm Active set Candidate solution Mathematical optimization Mathematics Applied mathematics
826	[removed]1499y 99 y1101-0063 $05.00 © 1999 INFORMS INFORMS Journal on Computing Vol. 11, No. 1, Winter 1999 Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2004-12-16 14:43:03 Operations research Convex optimization Combinatorial optimization Linear programming Cutting-plane method Constraint Relaxation Candidate solution Algorithm Mathematical optimization Mathematics Applied mathematics
827	Feasibility and Infeasibility in Optimization John W. Chinneck Systems & Computer Engineering Carleton University Ottawa, Canada Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2007-05-28 16:41:55 Applied mathematics Mathematics Mathematical analysis Linear programming Constraint programming Constraint Candidate solution Mathematical optimization Operations research Convex optimization
828	Generating Set Search Methods for Nonlinear Optimization Robert Michael Lewis and Virginia Torczon, College of William & Mary Collaborators: • Tammy Kolda, Sandia National Laboratories, Livermore, California • Anne S Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-02-07 16:10:54 Mathematical analysis Nonlinear programming Linear programming Constraint optimization Optimization problem Shape optimization Sequential quadratic programming Mathematical optimization Mathematics Applied mathematics
829	Journal of Artificial Intelligence Research[removed]304 Submitted 05/12; published[removed]Research Note Removing Redundant Messages in N-ary BnB-ADOPT Add to Reading List Source URL: jair.org Language: English - Date: 2012-10-26 14:23:49 Distributed constraint optimization Computing Systems theory Systems science Constraint optimization Futures and promises Update Dynamic programming Mathematical optimization Constraint programming Operations research
830	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics

UPDATE